$\forall$$A$, $B$:Realizer. $A$ $\subseteq$ R{-}plus($B$;$A$)